Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Computer memory
• System software
• Non-volatile memory
• Embedded Linux
• UBIFS
• Flash memory
• Memory Technology Device
• Flash file system
• Wear leveling
• Data

Implicit Ownership Types for Memory Management Tian Zhaoa,∗ , Jason Bakerb , James Huntc , James Nobled , Jan Vitekb,∗ a University of Wisconsin – Milwaukee, USA University, West Lafayette, USA

Source URL: jiangxi.cs.uwm.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Data types
• Type theory
• Method
• Java
• Scope
• Object
• Class
• Java syntax

CMCP: A Novel Page Replacement Policy for System Level Hierarchical Memory Management on Many-cores Balazs Gerofi† , Akio Shimada‡ , Atsushi Hori‡ , Takagi Masamichi§ , Yutaka Ishikawa†,‡ † Graduate School

Source URL: www-sys-aics.riken.jp

Origins of Spurious Long Memory∗ Christian Leschinski and Philipp Sibbertsen1 Institute of Statistics, Faculty of Economics and Management, Leibniz University Hannover, Germany Abstract

Source URL: www.wipo.wiwi.uni-due.de

Partially Separated Page Tables for Efficient Operating System Assisted Hierarchical Memory Management on Heterogeneous Architectures Balazs Gerofi∗ , Akio Shimada∗ , Atsushi Hori∗ and Yutaka Ishikawa∗† ∗

Source URL: www-sys-aics.riken.jp

Technical Report noWait-Free Reference Counting and Memory Management Håkan Sundell

Source URL: www.non-blocking.com

A Compacting Real-Time Memory Management System Silviu S. Craciunas Christoph M. Kirsch

Source URL: cs.uni-salzburg.at

Larger-than-Memory Data Management on Modern Storage Hardware for In-Memory OLTP Database Systems Lin Ma♠ , Joy Arulraj♠ , Sam Zhao , Andrew Pavlo♠ , Subramanya R. Dulloor♣ , Michael J. Giardino4 , Jeff Parkhurs

Source URL: hstore.cs.brown.edu

Energy Efficient Proactive Thermal Management in Memory Subsystem ∗ Raid Ayoub Krishnam Raju Indukuri

Source URL: seelab.ucsd.edu

Memory Resource Management in VMware ESX Server Carl A. Waldspurger VMware, Inc. Palo Alto, CAUSA

Source URL: web.eecs.umich.edu